📞 Session Types

Protocol Safety, Communication Correctness, Type-driven Development, Concurrency

A distributed systems reliability glossary
antithesis.com·21h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
🔐 Introducing EMCL – A Secure Protocol for AI Agents to Call Tools
dev.to·20h·
Discuss: DEV
🌐NetworkProtocols
A Rust shaped hole
ente.io·2d
🦀Rust Macros
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·2d
🌐DNS Security
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·19h
🎯Gradual Typing
Async BOFs – “Wake Me Up, Before You Go Go”
outflank.nl·31m
🔍eBPF
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·21h·
Discuss: Hacker News
🔐CBOR
Forensic journey: Breaking down the UserAssist artifact structure
securelist.com·2d
🔍NTLM Archaeology
Reflecting on PLDI 2025
people.csail.mit.edu·2d·
Discuss: Hacker News
🌐Protocol Synthesis
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Re-implementing the Nix protocol in Rust
tweag.io·2d·
Discuss: Hacker News
🔒Linear Types
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·14h·
Discuss: Hacker News
🎯Interactive Provers
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🧠Computational Logic
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·20h
🔗Hash Chains
MCP: A Practical Security Blueprint for Developers
thenewstack.io·15h
🔓Hacking
Streamline Global Client Communication with 20 Secure Accounts
news.ycombinator.com·1h·
Discuss: Hacker News
🔤EBCDIC Privacy
Model Context Protocol (MCP)
leimao.github.io·3d
📋Protocol Buffers
You Are in a Box
jyn.dev·1d·
Discuss: Lobsters, Hacker News
🐚Shell Calculus